#!/bin/bash

cd server
if [ ! -e server_pid ]; then
    echo Server stoped.
    exit 0
fi

kill `cat server_pid`
rm -f server_pid